软件静态分析工具综述

为了在软件生命周期的编码阶段尽可能多地发现软件缺陷以降低软件成本和开发时间,需要对被测程序源代码实施软件静态分析,软件静态分析最有效的手段是使用软件静态分析工具。针对C程序常见的软件缺陷,通过对几种主流静态分析工具的功能性对比分析,探讨了软件静态分析工具的优缺点及影响软件静态分析工具选择的诸多因素,为软件测试人员选择适合自己的软件静态分析工具提供参考。     

雷达信号级仿真中的模型耦合问题研究

针对目标回波小尺度幅度起伏特性模型进行了介绍。对雷达线性接收机和对数接收机的特性和模型进行了对比。对雷达信号级仿真中,由于雷达采用非线性对数接收机造成的目标回波小尺度幅度起伏特性模型与接收机模型相互耦合的原因和所产生的影响进行了分析。提出对这样的模型耦合问题必须解决,以保证仿真研究结果的有效性。     

基于ANSYS的油罐拱顶稳定性分析

针对加肋拱顶稳定性十分复杂的问题,基于ANSYS建立了加肋拱顶油罐的三维有限元模型,对加肋拱顶的结构稳定性进行了数值模拟。对加肋拱顶在外压作用下的线性与非线性临界屈曲载荷进行了对比分析,利用弧长法获得了拱顶在加肋情况下径向、环向、轴向的载荷-位移曲线。结果表明:数值模拟的加肋拱顶屈曲方向和屈曲区域与实际失稳结果相一致,可以为加肋拱顶设计和稳定性分析提供一定参考。     

改进Costas环的GPS载波跟踪环路

针对高动态环境下载波信号会产生较大多普勒频移而导致跟踪环路失锁的问题,对其基带信号进行双向限幅以改进Costas环的鉴相特性。同时,采用叉积型鉴频器,通过频率牵引使捕获后的频差达到跟踪模块的工作范围,并根据对锁相环和锁频环的特性分析及其各自的优缺点,选择锁频环辅助锁相环的复合结构。仿真试验结果表明,在高动态环境下(运动速度1 200 m/s)该跟踪环可以快速跟踪卫星信号,即时误差趋近于0,且当加速度达到40 g以上时,经过该复合环跟踪后的多普勒频移比传统锁相环减小了50%以上。     

基于组件技术的分布式潜艇作战仿真系统

提出采用JavaEE/EJB组件技术开发分布式潜艇作战仿真系统,根据潜艇作战机理,建立了分布式潜艇作战仿真模型体系结构,设计了分布式潜艇作战仿真系统的软件架构,分析了系统开发过程中采用的技术协议,并研究了基于组件技术的分布式潜艇作战仿真系统实现方法。     

武警学院模拟训练公共平台的设计与实现

模拟训练公共平台是在现有专业领域模拟训练软件基础上,通过对其共性的研究,确定模拟训练公共平台的框架和功能.参考组件化和软件复用技术,设计实现了具备模拟训练软件开发和运行的公共平台,并列举应用实例,为不同专业同类模拟训练系统软件的开发提供了便捷,降低了开发难度和成本。     

消防监督管理咨询专家系统的开发及应用——关于运用计算机和因特网提高消防管理现代化水平的思考

本文针对消防教学和消防管理工作的实际,探讨了消防监督管理咨询专家系统的开发和应用课题,并展望了如何运用多媒体和因特网工具提高消防管理现代化水平的前景。     

基于最小均方插值的码元同步算法研究

从软—硬件协同设计的角度出发 ,提出了软件无线电系统中码元同步的一种实现方案。该方案以信号插值为理论基础 ,用软件实现整个码元同步过程。其特点是以估计性能更佳的最小均方滤波器替代传统的多项式插值滤波器 ,并利用软件实现时可以进行大批量数据缓存的优势 ,提出能量检测算法 ,以克服半码元周期传输延迟时出现的高误码率问题     

软件可靠性考核试验方法研究

分析了软件可靠性考核的时机 ,提出了软件可靠性的验证试验方法 ,并对基于经典方法和 Bayes方法的无故障运行考核方法进行了研究     

论物理化学教学内容及教学方法的改革

根据学科特点与教学实践 ,主张大胆删节与前设课程重复的内容 ,引进趋近科学前沿的新知识以优化教学内容 ,并强调引入新知识应符合科学发展规律 ;利用现代化教学手段自制小课件及开展课堂讨论 ,能够有效地提高教学效果